Karar Tablosu Destekli Olay Sira Cizgeleri Temelli Sinama Durum Uretim Araci
نویسندگان
چکیده
Özet. Model temelli sınama alanında otomatik sınama durum üretimi önemli konuların başında gelir. Otomatik sınama durum üretimi için formel bir modelleme yöntemi ile üretim için algoritmalar gereklidir. Bu bildirinin ilk yazarının geliştirdiği Olay Sıra Çizgeleri (İng. Event Sequence Graphs) formel modelleme yöntemi ve sınama durum üretim algoritmaları, bu bildirinin diğer yazarları tarafından karar tabloları destekli şekilde genişletilmiştir. Ortaya konan modelleme yöntemi ve algoritmalar kodlanarak bir sınama durum üretim aracı 2008 yılından beri geliştirilmektedir. Anılan araç birçok çalışmada kullanılmış ve bu çalışmaların anlatıldığı yayınlarda bu araçtan söz edilmiştir. Bu bildiride karar tabloları destekli olay sıra çizgeleri temelli sınama durum aracının son durumu tanıtılmış ve anılan araç ile bir örnek çalışma sergilenmiştir.
منابع مشابه
Android Uygulamalar Icin Yazilim Kalite Yonetimi
Özet. Günümüzde akıllı telefon ve tablet gibi mobil cihazlar giderek yaygınlaşmaktadır. Bu durum mobil uygulama sayısının önemli ölçüde artışını da beraberinde getirmektedir. Bu sistemlerin popülerliğini yakın gelecekte de arttırmaya devam edeceği tahmin edildiğinden, mobil uygulamaların kalitesi oldukça fazla önem kazanmaktadır. Bu çalışmanın amacı Android uygulamaları için yazılım kalite mode...
متن کاملImpaired Curve Negotiation in Drivers with Parkinson's Disease.
Bulgular: Kontrollerle karfl›laflt›r›ld›¤›nda, Parkinson hastal›¤› olan sürücülerin, viraj ve referans düz yol bölümlerinde anlaml› derecede daha fazla lateral pozisyon standart sapmas› ve flerit uyum hatas› yapt›klar›, dolay›s›yla daha düflük araç kontrolü ve sürüfl güvenli¤i sergiledikleri bulundu. Parkinson hastal›¤› grubu motor, kognitif ve görsel yetiler konusunda da düflük performans göst...
متن کاملOlay Tabanlı Sınama İçin Mutant Seçimi
Özet. Model tabanlı sınama, sınama örneği üretimi için biçimsel modeller kullanmayı içerir. Bu bildiri olay tabanlı modelleme için düzenli gramerleri önermektedir. Önerilen modeli değişikiklere uğratmak için tanımlanan mutasyon işleçleri sistematik olarak hata modelleri ya da mutantların üretilmesinde kullanılmaktadır. Asıl sistem modeliyle mutantlar üzerinde uygulanan algoritmalar ile sınama ö...
متن کاملOlay: Combat the Signs of Aging with Introspective Reliability Management
Aggressive technology scaling has historically been the driving force behind dramatic performance gains in the microprocessor industry. However, as CMOS feature sizes venture deep into the nanometer regime, reliability is emerging as a first-order design constraint. Well recognized wearout mechanisms including negative-bias temperature instability and time-dependent dielectric breakdown will pl...
متن کامل